A formal approach for generating oo specifications from natural language

Until 1985 Dr. Morant worked at ITT-Alcatel on the design and installation of communication applications. After joining the university, he headed the teleinformatic and information security laboratories at the above school. He has written a book about information security and has participated in several projects about the definition of security criteria in communications sponsored by the European Community. sponsored by the European Community and private companies. ABSTRACT The requirements analysis process is essential to software development. The success or failure of a software system can be said to largely depend on the quality of this activity. A formal and disciplined process is therefore necessary for requirements analysis. In this paper, we present an approach that is based on the formal definition of relations between linguistic and OO conceptual structures as a basis for a formal and disciplined problem analysis process. This process is based on two components, conceptual model formalization and OO model construction. The first provides formal rules to identify the key components of conceptual models, and the second, provides a set of definite steps to guide the analyst in model construction. We also present some conclusions concerning the application of our approach versus the standard OMT approach by a group of students at our university.